Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔠Type-Level Programming
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·5h
💻Programming languages
How to reason from first principles
caseyhandmer.wordpress.com·14h
🎯Proof Tactics
Machine Learning Fundamentals: dimensionality reduction
dev.to·18h·
Discuss: DEV
📐Linear Algebra
Gradual negation types and the Python type system
jellezijlstra.github.io·2h·
Discuss: Hacker News
🔬Refinement Types
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
This “smart coach” helps LLMs switch between text and code
news.mit.edu·5h
💻Local LLMs
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Parsing Protobuf Like Never Before
mcyoung.xyz·1d
🔧Binary Parsers
A Wide Reduction Trick (2022)
words.filippo.io·6h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·9h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·7h·
Discuss: Hacker News
🔗Concatenative Programming
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·18h
📊Vector Quantization
A Minimal DDPM
github.com·1d·
Discuss: Hacker News
🧠Machine Learning
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·12h
⚡Proof Automation